Merge pull request #793 from jeenu-arm/gic-changes
authordanh-arm <dan.handley@arm.com>
Tue, 20 Dec 2016 12:26:23 +0000 (12:26 +0000)
committerGitHub <noreply@github.com>
Tue, 20 Dec 2016 12:26:23 +0000 (12:26 +0000)
GIC driver changes for extended power management


Trivial merge